<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Document [
  <!ENTITY rif  "http://www.w3.org/2007/rif#">
  <!ENTITY xs   "http://www.w3.org/2001/XMLSchema#">
  <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
]>
<Document xmlns="&rif;">
  <payload>
    <Group>
      <sentence>
        <Forall>
          <declare>
            <Var>y</Var>
          </declare>
          <declare>
            <Var>z</Var>
          </declare>
          <formula>
            <Implies>
              <if>
                <And>
                  <formula>
                    <Equal>
                      <left>
                        <Var>y</Var>
                      </left>
                      <right>
                        <Var>z</Var>
                      </right>
                    </Equal>
                  </formula>
                  <formula>
                    <External>
                      <content>
                        <Atom>
                          <op>
                            <Const type="&rif;iri">http://www.w3.org/2007/rif-builtin-predicate#numeric-greater-than</Const>
                          </op>
                          <args ordered="yes">
                            <Var>z</Var>
                            <Const type="&xs;integer">0</Const>
                          </args>
                        </Atom>
                      </content>
                    </External>
                  </formula>
                </And>
              </if>
              <then>
                <Atom>
                  <op>
                    <Const type="&rif;iri">http://example.org/example#p</Const>
                  </op>
                  <args ordered="yes">
                    <Var>y</Var>
                  </args>
                </Atom>
              </then>
            </Implies>
          </formula>
        </Forall>
      </sentence>
    </Group>
  </payload>
</Document>
<!--XML document generated on Sun Nov 07 10:35:53 EST 2010-->
